﻿using System.Diagnostics.Contracts;

namespace System.Reactive
{
	public static class PlatformEnlightenmentProvider
	{
		public static IPlatformEnlightenmentProvider Current
		{
			get
			{
				Contract.Ensures(Contract.Result<IPlatformEnlightenmentProvider>() != null, null, "Contract.Result<IPlatformEnlightenmentProvider>() != null");
				return null;
			}
		}
	}
}